Théorème d'inversion globale :
Soient \(E,F\) des espaces de Banach, \(U\) un ouvert de \(E\) et \(f:U\to F\) de classe \(\mathcal C^1\)
Alors l'application \(f\) est un difféomorphisme de \(U\) sur \(f(U)\) si et seulement si elle est injective et \(df(a)\) est inversible \(\forall a\in U\)
(SCIENCES/🔢 Mathématiques/L3 ENS/S1/Calcul différentiel/Vrac/Espace de Banach, Difféomorphisme)
